On stabilizers of infinite words
نویسنده
چکیده
The stabilizer of an infinite word w over a finite alphabet Σ is the monoid of morphisms over Σ that fix w. In this paper we study various problems related to stabilizers and their generators. We show that over a binary alphabet, there exist stabilizers with at least n generators for all n. Over a ternary alphabet, the monoid of morphisms generating a given infinite word by iteration can be infinitely generated, even when the word is generated by iterating an invertible primitive morphism. Stabilizers of strict epistandard words are cyclic when non-trivial, while stabilizers of ultimately strict epistandard words are always non-trivial. For this latter family of words, we give a characterization of stabilizer elements.
منابع مشابه
Dynamic Analysis and Optimal Design of FLPSS for Power Network Connected Solid Oxide Fuel Cell Using of PSO
This paper studies the theory and modeling manner of solid oxide fuel cell (SOFC) into power network and its effect on small signal stability. The paper demonstrates the fundamental module, mathematical analysis and small signal modeling of the SOFC connected to single machine infinite bus (SMIB) system. The basic contribution of the study is to attenuate the low frequency oscillations by optim...
متن کاملSemigroups with Idempotent stabilizers and Applications to Automata Theory
We show that every finite semigroup is a quotient of a finite semigroup in which every right stabilizer satisfies the identities x = x and xy = xyx. This result has several consequences. We first use it together with a result of I. Simon on congruences on paths to obtain a purely algebraic proof of a deep theorem of McNaughton on infinite words. Next, we give an algebraic proof of a theorem of ...
متن کاملThe Effect of Different Stabilizers on Stability of Horseradish Peroxidase- Bovine Serum Albumin-Aflatoxin B1, a Conjugated Tracer for Detection of Aflatoxin B1 in Immunoassay-Based Methods
Aflatoxins are a group of fungal toxic metabolites, which are contaminated certain food commodities. ELISA is one of the sensitive methods for detection of aflatoxins. Preparation and stabilizing of a proper conjugated tracer for detection of aflatoxins is probably the main step for designing an ELISA method. In current study, different stabilizers were applied to stabilize a newly prepared con...
متن کاملQuartic half-arc-transitive graphs with large vertex stabilizers
A 1 2 -arc-transitive graph is a vertexand edgebut not arc-transitive graph. In all known constructions of quartic 1 2 -arc-transitive graphs, vertex stabilizers are isomorphic to Z 2,Z 2 2 or to D8. In this article, for each positive integer m ≥ 1, an infinite family of quartic 1 2 -arctransitive graphs having vertex stabilizers isomorphic to Z m
متن کاملThe Effect of Different Stabilizers on Stability of Horseradish Peroxidase- Bovine Serum Albumin-Aflatoxin B1, a Conjugated Tracer for Detection of Aflatoxin B1 in Immunoassay-Based Methods
Aflatoxins are a group of fungal toxic metabolites, which are contaminated certain food commodities. ELISA is one of the sensitive methods for detection of aflatoxins. Preparation and stabilizing of a proper conjugated tracer for detection of aflatoxins is probably the main step for designing an ELISA method. In current study, different stabilizers were applied to stabilize a newly prepared con...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Theor. Comput. Sci.
دوره 400 شماره
صفحات -
تاریخ انتشار 2008